<?php

print_r(token_get_all('<?php echo 1234;?>'));